Гипотеза кеплера

Компьютер проверил доказательство гипотезы Кеплера 27.10.2014

Машина подтвердила правильность доказательства гипотезы Кеплера математиком Томасом Хейлзом (Thomas Hales) из Питтсбургского университета в США.